61. Software performance and scalability
پدیدآورنده : / Henry H. Liu
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computer software, Development,System design
رده :
QA76
.
76
.
D47L577
2009
62. Software performance and scalability
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer software ; Development. ; System design. ;
63. Software performance and scalability: a quantitative approach
پدیدآورنده : Liu, Henry H.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Development ، Computer software,، System design
رده :
QA
76
.
76
.
D47
L577
2009
64. Software system development;a gentle introduction
پدیدآورنده : Carol Britton,Jill Doake
کتابخانه: Library of Faculty of Management of Tehran University (Tehran)
موضوع : Computer software-Development.,System design.
65. Software system development: a gentle introduction
پدیدآورنده : Britton, Carol
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer software-- Development,، System design
رده :
QA
76
.
76
.
D47
.
B75
2003
66. Story board prototypin: A new approach to user requirements analysis
پدیدآورنده : Stephen J. Andriole
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Computer software- Development,System design
رده :
QA
،
76
.
76
،.
D47
,
A53
،
1989
67. System-On-A-Chip verification :methodology and techniques
پدیدآورنده : Rashinkar, Prakash
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، System design,Design and construction ، Electronic digital computers,Development ، Computer software
رده :
QA
76
.
9
.
S88
R37
2001
68. System development and Ada: CRAI Workshop on Software Factories and Ada Capri, Italy, May 1986 : Proceedings
پدیدآورنده : A.N. Habermann, U. Montanari )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Ada )Computer program language(
رده :
QA
76
.
L28
Vol
.
275
69. The prototyping methodology
پدیدآورنده : Kenneth E. Lantz
کتابخانه: Library of Faculty of Psychology and Educational Sciences University of Tehran (Tehran)
موضوع : System design,Computer software - Development
رده :
QA
,
76
.
9
,.
S8
,
1985
70. Tools and algorithms for the construction and analysis of systems
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : System design ; Congresses. ; Computer software ; Development ; Congresses. ;
71. Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS'96, Passau, Germany, March 27-29 : proceedings
پدیدآورنده : Tizina Margaria, Bernhard Steffen )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1055
72. Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS 95, Aarhus, Denmark, May 19-20, 1995 : selected papers
پدیدآورنده : E. Brinksma ... )et al.(, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
V0l
.
1019
73. Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS'99, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
پدیدآورنده : W. Rance Cleaveland )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
1579
74. Tools and algorithms for the construction and analysis of systems : 6th International Conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March/April 2000 : proceedings
پدیدآورنده : Susanne Graf, Michael Schartzbach )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
1785
75. Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS'98, held as part of the joint European Conference on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
پدیدآورنده : Bernhard Steffen )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
1384
76. Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings
پدیدآورنده : Nicolas Halbwachs, Lenore D. Zuck )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
3440
77. Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
پدیدآورنده : Kurt Jensen, Andreas Podelski )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2988
78. Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
پدیدآورنده : Tiziana Margaria, Wang Yi )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2031
79. Tools and algorithms for the construction and analysis of systems : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 2003 : proceedings
پدیدآورنده : Hubert Garavel, John Hatcliff )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2619
80. Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002 : proceedings
پدیدآورنده : Joost-Pieter Katoen, Perdita Stevens )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2280